$\forall$$A$:Type, $I$:MaInterface($A$). map($\lambda$$i$.($I$($i$).2).1;$I$.1) $\in$ (Knd List List)